Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
441	Written Examination, De ember 20th, 2011 Course noThe duration of the examination is 2 hours. Course Name: Fun tional programming Allowed aids: All written material The problem set onsists of 4 problems whi h ar Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2011-12-16 04:16:36 Higher-order functions Programming language comparisons Map Functional languages Procedural programming languages
442	Higher-Order and Symbolic Computation, 11, 405–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Scheme: Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-14 14:39:18 Lisp Lambda calculus Functional programming Data types Subroutines Scheme Anonymous function Cons Fexpr Maclisp Closure Eval
443	Static Detection of Race Conditions in Erlang Maria Christakis1 and Konstantinos Sagonas1,2 1 2 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2009-11-02 13:24:28 Concurrent programming languages Erlang Functional languages Inter-process communication Ericsson Open Telecom Platform Mnesia Concurrent computing Scala Pattern matching Go Functional programming
444	Free Theorems about Monadic Code Janis Voigtl¨ander University of Bonn EWCE’11 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming paradigms Functional programming Programming language theory Literate programming Monad Declarative programming Haskell Side effect Echo Referential transparency Imperative programming Rc
445	OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-08-18 12:03:29 Cryptographic software Functional languages OCaml Caml Functional programming Transport Layer Security OpenSSL LibreSSL Preprocessor Ctypes Monad Language binding
446	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
447	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function Free variables and bound variables Combinatory logic Standard ML
448	Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-11 09:31:37 Procedural programming languages Functional languages Functional programming Type theory Data types Standard ML ML Type inference Type system Monad Compiler Algorithm
449	A Self-Applicable Supercompiler Andrei P. Nemytykh Victoria A. Pinchuk Programming Systems Institute, Pereslavl-Zalesski, Russia Valentin F. Turchin The City College of New York Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Subroutines Refal Metacompilation Closure Pattern matching Free variables and bound variables Variable Parameter Lisp Expression
450	Higher Dimensional Discrete Cheeger Inequalities 1 Anna Gundert∗ Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2015-08-27 09:56:30 Functional analysis Operator theory Representation theory of Lie groups Spectral theory Logic programming Substitution Orbifold

UPDATE